$\forall$$w$:world\{i:l\}. w{-}atom{-}constraint\{i:l\}($w$) $\in$ Prop$_{\mbox{\scriptsize i'}}$